perm filename INFO.TXT[BMP,SYS] blob sn#739646 filedate 1984-02-03 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	The area [BMP,SYS] is for files associated with the Boyer-Moore theorem
C00003 ENDMK
CāŠ—;
The area [BMP,SYS] is for files associated with the Boyer-Moore theorem
prover, BMP.DMP[1,3].  Currently this area is maintained by CLT.

This current file should contain any information needed to document the
process of putting up and/or running BMP.  This file is NOT intended for
users, but for maintainers of the BMP system.